منابع مشابه
Fuzzy answer sets approximations
Fuzzy answer set programming (FASP) is a recent formalism for knowledge representation that enriches the declarativity of answer set programming by allowing propositions to be graded. To now, no implementations of FASP solvers are available and all current proposals are based on compilations of logic programs into different paradigms, like mixed integer programs or bilevel programs. These appro...
متن کامل$varepsilon$-Simultaneous approximations of downward sets
In this paper, we prove some results on characterization of $varepsilon$-simultaneous approximations of downward sets in vector lattice Banach spaces. Also, we give some results about simultaneous approximations of normal sets.
متن کاملComputing Fuzzy Answer Sets Using dlvhex
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fuzzy answer set semantics can be mapped onto the semantics for HEX-programs, which are nonmonotonic logic programs under the answer set semantics that support the use of external function calls. By using the DLVHEX rea...
متن کاملMinimal Undefinedness for Fuzzy Answer Sets
Fuzzy Answer Set Programming (FASP) combines the nonmonotonic reasoning typical of Answer Set Programming with the capability of Fuzzy Logic to deal with imprecise information and paraconsistent reasoning. In the context of paraconsistent reasoning, the fundamental principle of minimal undefinedness states that truth degrees close to 0 and 1 should be preferred to those close to 0.5, to minimiz...
متن کاملAnswer Sets in a Fuzzy Equilibrium Logic
Since its introduction, answer set programming has been generalized in many directions, to cater to the needs of real-world applications. As one of the most general “classical” approaches, answer sets of arbitrary propositional theories can be defined as models in the equilibrium logic of Pearce. Fuzzy answer set programming, on the other hand, extends answer set programming with the capability...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2013
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068413000471